Vérification de modèles UML fondée sur OCL
نویسندگان
چکیده
This paper presents a study concerning the development of OCL specifications for UML models. These specifications aim to guide the analysts during the process of modelling and to help them during all the development cycle. In the scope of the European project NEPTUNE, we identified a set of OCL rules relating either analysis and modelling stages, or relating to the setting in conformity of different points of view of intra and inter-model. A tool, based on the standards XMI and XSL, was produced to validate OCL specifications. This checker returns a diagnostic indicating the element of specification not in conformity with the rules.
منابع مشابه
Une approche automatisée basée sur des contraintes d'intégrité définies en UML et OCL pour la vérification de la cohérence logique dans les systèmes SOLAP : Applications dans le domaine agri-environnemental
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملUn cadre conceptuel basé sur UML et Spatial OCL la Défini-tion des contraintes d'intégrité dans les systèmes SOLAP
Résumé. Les entrepôts de données spatiales et les systèmes Spatial OLAP sont des technologies d’aide à la décision permettant l’analyse en ligne des gros jeux de données géo-référencées. Dans un tel type de systèmes, la qualité de l’analyse dépend : de la qualité des données entreposées, de comment les agrégations sont effectuées, et de comment les données entreposées sont explorées. Dans cet a...
متن کاملModélisation des transformations pour l'évolution de modèles multidimensionnels
Résumé. La modélisation et l’entreposage des données ont constitué, depuis plus d’une décennie, une problématique de recherche pour laquelle différentes approches ont été proposées. Ces approches se focalisent sur des aspects statiques de l’entrepôt de données. Or, l’évolution du système d’information qui alimente un entrepôt peut avoir un impact sur ce dernier et peut conduire, par conséquent,...
متن کاملFrom UML to ROLAP Multidimensional Databases using a Pivot Model
Effective data warehouse design requires a conceptual modeling phase. This paper describes a data warehouse design method based on the conceptual, logical and physical levels. The conceptual phase creates an UML model. To this end, UML is enriched with multidimensional concepts. The logical phase maps the enriched UML model into a multidimensional one. The physical phase maps the multidimension...
متن کاملD'Event-B vers UML/OCL en passant par UML/EM-OCL
Pour surmonter les limites inhérentes aux deux approches classique et formelle de développement des logiciels complexes, nous avons proposé une approche hybride combinant l'approche formelle (Event-B) et l'approche classique (UML/OCL). Les phases en amont de notre approche comportent : Réécriture du cahier des charges, Stratégie de raffinement, Spécification abstraite et Raffinement horizontal....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003